English function checking of relay circuits: תרגום לשפות אחרות